Arnaldo V. Moura: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (118)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Test suite completeness and black box testing

Bonifácio, Adilson Luiz, Moura, Arnaldo Vieira

Журнал:

Software Testing, Verification and Reliability

Рік:

2017

Мова:

english

Файл:

PDF, 823 KB

english, 2017

The relationship between quality of life, cognition, and thyroid status in Graves’ disease

Riguetto, Cínthia Minatel, Neto, Arnaldo Moura, Tambascia, Marcos Antônio, Zantut-Wittmann, Denise Engelbrecht

Журнал:

Endocrine (Springer)

Рік:

2018

Мова:

english

Файл:

PDF, 428 KB

english, 2018

[Lecture Notes in Computer Science] LATIN'98: Theoretical Informatics Volume 1380 || Batch verification with applications to cryptography and checking

Lucchesi, Cláudio L., Moura, Arnaldo V.

Рік:

1998

Мова:

english

Файл:

PDF, 1.32 MB

english, 1998

Baseline characteristics and risk factors for ulcer, amputation and severe neuropathy in diabetic foot at risk: the BRAZUPA study

Parisi, Maria Candida R., Moura Neto, Arnaldo, Menezes, Fabio H., Gomes, Marilia Brito, Teixeira, Rodrigo Martins, de Oliveira, José Egídio Paulo, Pereira, Joana Rodrigues Dantas, Fonseca, Reine Marie

Журнал:

Diabetology and Metabolic Syndrome

Рік:

2016

Мова:

english

Файл:

PDF, 850 KB

english, 2016

A GRASP strategy for a more constrained School Timetabling Problem

Moura, Arnaldo Vieira, Scaraficci, Rafael Augusto

Журнал:

International Journal of Operational Research

Рік:

2010

Мова:

english

Файл:

PDF, 641 KB

english, 2010

The influence of body mass index and low-grade systemic inflammation on thyroid hormone abnormalities in patients with type 2 diabetes

Moura Neto, Arnaldo, Parisi, Maria Candida Ribeiro, Tambascia, Marcos Antonio, Alegre, Sarah Monte, Pavin, Elizabeth Joao, Zantut-Wittmann, Denise Engelbrecht

Журнал:

Endocrine Journal

Рік:

2013

Мова:

english

Файл:

PDF, 859 KB

english, 2013

Comparative proteomics of the larval and adult stages of the model cestode parasite Mesocestoides corti

Camargo de Lima, Jeferson, Monteiro, Karina Mariante, Basika Cabrera, Tatiana Noel, Paludo, Gabriela Prado, Moura, Hercules, Barr, John R., Zaha, Arnaldo, Ferreira, Henrique Bunselmeyer

Журнал:

Journal of Proteomics

Рік:

2018

Мова:

english

Файл:

PDF, 3.62 MB

english, 2018

An introductory guide for hybrid simulation modelers on the primary simulation methods in industrial engineering identified through a systematic review of the literature

Paula Galvão Scheidegger, Anna, Fernandes Pereira, Tábata, Liza Moura de Oliveira, Mona, Banerjee, Amarnath, Arnaldo Barra Montevechi, José

Журнал:

Computers & Industrial Engineering

Рік:

2018

Мова:

english

Файл:

PDF, 1.48 MB

english, 2018

Glutathione peroxidase 4 functional variant rs713041 modulates the risk for cardiovascular autonomic neuropathy in individuals with type 1 diabetes

Admoni, Sharon Nina, Santos-Bezerra, Daniele Pereira, Perez, Ricardo Vesoni, Patente, Thiago Andrade, Monteiro, Maria Beatriz, Cavaleiro, Ana Mercedes, Parisi, Maria Candida, Moura Neto, Arnaldo, Pavi

Журнал:

Diabetes and Vascular Disease Research

Рік:

2019

Мова:

english

Файл:

PDF, 61 KB

english, 2019

[IEEE 2018 Winter Simulation Conference (WSC) - Gothenburg, Sweden (2018.12.9-2018.12.12)] 2018 Winter Simulation Conference (WSC) - METHODOLOGY FOR THE MANAGEMENT OF DISCRETE EVENT SIMULATION PROJECTS BASED ON PMBOK ® : ACTION RESEARCH IN A HIGH-TECH COMPANY

Pereira, Tabata Fernandes, Felipe Pugliese, Luiz, Barra Montevechi, Jose Arnaldo, de Oliveira, Mona Liza Moura, Robinson, Stewart, Banerjee, Amarnath

Рік:

2018

Файл:

PDF, 10 KB

2018

Identification and performance of multiple clinical and laboratorial risk factors for diagnosis of cardiac autonomic neuropathy in type 1 diabetes patients

Riguetto, Cinthia Minatel, Takano, Caroline Rigoleto, Admoni, Sharon Nina, Parisi, Maria Candida Ribeiro, Giannella, Maria Lucia Correa, Pavin, Elizabeth João, Moura Neto, Arnaldo

Журнал:

Journal of Diabetes and Metabolic Disorders

Рік:

2019

Мова:

english

Файл:

PDF, 292 KB

english, 2019

Shop floor simulation optimization using machine learning to improve parallel metaheuristics

de Sousa Junior, Wilson Trigueiro, Barra Montevechi, JosÃ© Arnaldo, de Carvalho Miranda, Rafael, de Oliveira, Mona Liza Moura, Campos, Afonso Teberga

Журнал:

Expert Systems with Applications

Рік:

2020

Файл:

PDF, 8.00 MB

2020

Two deterministic selection methods for the initial centers in fuzzy c-means based algorithms

da Silva, Liliane R., Arnaldo, Heloina A., da Silva, Huliane, Moura, Ronildo, Bedregal, BenjamÃn, de P. Canuto, Anne Magaly

Журнал:

Intelligent Data Analysis

Рік:

2020

Файл:

PDF, 635 KB

2020

Vehicle and crew scheduling for urban bus lines

Maikol M. Rodrigues, Cid C. de Souza, Arnaldo V. Moura

Журнал:

European Journal of Operational Research

Рік:

2006

Мова:

english

Файл:

PDF, 904 KB

english, 2006

Preface

Alexandre Mota, Arnaldo Moura

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 66 KB

english, 2005

A note on the verification of automata specifications of probabilistic real-time systems

Arnaldo V. Moura, Guilherme A. Pinto

Журнал:

Information Processing Letters

Рік:

2002

Мова:

english

Файл:

PDF, 95 KB

english, 2002

Classes of Timed Automata and the Undecidability of Universality

Arnaldo V. Moura, Guilherme A. Pinto

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2002

Мова:

english

Файл:

PDF, 254 KB

english, 2002

A hybrid model for a multiproduct pipeline planning and scheduling problem

Tony Minoru Tamura Lopes, Andre Augusto Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura

Журнал:

Constraints

Рік:

2010

Мова:

english

Файл:

PDF, 799 KB

english, 2010

Towards Deriving Test Sequences by Model Checking

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 390 KB

english, 2008

Layered stable equilibria of a reaction–diffusion equation with nonlinear Neumann boundary condition

Arnaldo Simal do Nascimento, Renato José de Moura

Журнал:

Journal of Mathematical Analysis and Applications

Рік:

2008

Мова:

english

Файл:

PDF, 231 KB

english, 2008

Constructing nurse schedules at large hospitals

Tiago M. Dias, Daniel F. Ferber, Cid C. De Souza, Arnaldo V. Moura

Журнал:

International Transactions in Operational Research

Рік:

2003

Мова:

english

Файл:

PDF, 249 KB

english, 2003

Scheduling activities at oil wells with resource displacement

Arnaldo V. Moura, Romulo A. Pereira, Cid C. De Souza

Журнал:

International Transactions in Operational Research

Рік:

2008

Мова:

english

Файл:

PDF, 560 KB

english, 2008

Incremental testing of finite state machines

Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura

Журнал:

Software Testing, Verification and Reliability

Рік:

2012

Мова:

english

Файл:

PDF, 1.18 MB

english, 2012

A new method for testing timed systems

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Журнал:

Software Testing, Verification and Reliability

Рік:

2012

Мова:

english

Файл:

PDF, 1.23 MB

english, 2012

Oxygen supply inBacillus thuringiensisfermentations: bringing new insights on their impact on sporulation and δ-endotoxin production

Fabrízio Siqueira Boniolo, Raphael Cardoso Rodrigues, Arnaldo Márcio Ramalho Prata, Maria Luisa López, Tânia Jacinto, Mauricio Moura da Silveira, Marília Amorim Berbert-Molina

Журнал:

Applied Microbiology and Biotechnology

Рік:

2012

Мова:

english

Файл:

PDF, 364 KB

english, 2012

A note on grammatical covers

Arnaldo Moura

Журнал:

Information Processing Letters

Рік:

1980

Мова:

english

Файл:

PDF, 323 KB

english, 1980

Cytogenetics of Epithelial Hyperplasias of the Human Breast

Rommel Rodrı́guez Burbano, Arnaldo Medeiros, Marúcia Irena Medeiros de Amorim, Eleonidas Moura Lima, Adriano Mello, José Barbieri Neto, Cacilda Casartelli

Журнал:

Cancer Genetics and Cytogenetics

Рік:

2000

Мова:

english

Файл:

PDF, 1.14 MB

english, 2000

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Transcendental inductive invariants generation for non-linear differential and hybrid systems

Rebiha, Rachid, Matringe, Nadir, Moura, Arnaldo Vieira

Рік:

2012

Мова:

english

Файл:

PDF, 728 KB

english, 2012

Charcot foot: Skin temperature as a good clinical parameter for predicting disease outcome

Arnaldo Moura-Neto, Tulio Diniz Fernandes, Denise Engelbrecht Zantut-Wittmann, Rafael Ortiz Trevisan, Marcos Hideyo Sakaki, Alexandre Leme Godoy Santos, Marcia Nery, Maria Candida Ribeiro Parisi

Журнал:

Diabetes Research and Clinical Practice

Рік:

2012

Мова:

english

Файл:

PDF, 259 KB

english, 2012

Improvement of Mycobacterium tuberculosis detection in clinical samples using DNA purified by glass matrix

Maria L.R. Rossetti, Susana B. Jardim, Vivian de F.S. Rodrigues, Andréia R. Moura, Hugo Oliveira, Arnaldo Zaha

Журнал:

Journal of Microbiological Methods

Рік:

1997

Мова:

english

Файл:

PDF, 94 KB

english, 1997

Acoustic schwannoma in children under 10 years of age

Oswaldo Laércio Mendonça Cruz, Eduardo Arnaldo da Silva Vellutini, Sady Selaimen da Costa, Rejane Moura

Журнал:

Otolaryngology - Head and Neck Surgery

Рік:

1995

Мова:

english

Файл:

PDF, 225 KB

english, 1995

An endoscopic technique for resection of small gastrointestinal carcinomas

Paulo Sakai, Fauze Maluf Filho, Kiyoshi Iryia, Eduardo G.H. Moura, Toshiro Tomishigue, Arnaldo Scabbia, Shinichi Ishioka

Журнал:

Gastrointestinal Endoscopy

Рік:

1996

Мова:

english

Файл:

PDF, 1.37 MB

english, 1996

Planning the operation of a large real-world oil pipeline

Tony M.T. Lopes, Arnaldo V. Moura, Cid C. de Souza, Andre A. Cire

Журнал:

Computers & Chemical Engineering

Рік:

2012

Мова:

english

Файл:

PDF, 650 KB

english, 2012

Risk factors for ulceration and amputation in diabetic foot: study in a cohort of 496 patients

Arnaldo Moura Neto, Denise Engelbrecht Zantut-Wittmann, Tulio Diniz Fernandes…

Журнал:

Endocrine (Springer)

Рік:

2013

Мова:

english

Файл:

PDF, 174 KB

english, 2013

[IEEE 2012 IEEE 15th International Conference on Computational Science and Engineering (CSE) - Paphos, Cyprus (2012.12.5-2012.12.7)] 2012 IEEE 15th International Conference on Computational Science and Engineering - A GRASP-based Heuristic for the Project Portfolio Selection Problem

Mira, Cleber, Feijao, Pedro, Souza, Maria Angelica, Moura, Arnaldo, Meidanis, Joao, Lima, Gabriel, Schmitz, Rafael, Bossolan, Renato P., Freitas, Italo T.

Рік:

2012

Мова:

english

Файл:

PDF, 173 KB

english, 2012

A Generalization of Ogden's Lemma

Bader, Christopher, Moura, Arnaldo

Журнал:

Journal of the ACM

Рік:

1982

Мова:

english

Файл:

PDF, 206 KB

english, 1982

[Lecture Notes in Computer Science] LATIN'98: Theoretical Informatics Volume 1380 || Super-state automata and rational trees

Lucchesi, Cláudio L., Moura, Arnaldo V.

Рік:

1998

Мова:

english

Файл:

PDF, 561 KB

english, 1998

Climate perceptions and the customer orientation of frontline service employees

Coelho, Filipe Jorge, Augusto, Mário Gomes, Coelho, Arnaldo Fernandes, Sá, Patrícia Moura

Журнал:

Service Industries Journal

Рік:

2010

Мова:

english

Файл:

PDF, 154 KB

english, 2010

[IEEE 2008 IEEE 11th International Conference on Computational Science and Engineering (CSE) - Sao Paulo, Brazil (2008.07.16-2008.07.18)] 2008 11th IEEE International Conference on Computational Science and Engineering - Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem

Moura, Arnaldo V., Souza, Cid C. de, Cire, Andre A., Lopes, Tony M. T.

Рік:

2008

Мова:

english

Файл:

PDF, 324 KB

english, 2008

[IEEE 2008 IEEE 11th International Conference on Computational Science and Engineering (CSE) - Sao Paulo, Brazil (2008.07.16-2008.07.18)] 2008 11th IEEE International Conference on Computational Science and Engineering - Hybrid Heuristic Strategies for Planning and Scheduling Forest Harvest and Transportation Activities

Moura, Arnaldo Vieira, Scaraficci, Rafael Augusto

Рік:

2008

Мова:

english

Файл:

PDF, 295 KB

english, 2008

[IEEE 2013 10th International Conference on Service Systems and Service Management (ICSSSM) - Hong Kong, China (2013.07.17-2013.07.19)] 2013 10th International Conference on Service Systems and Service Management - A project portfolio selection decision support system

Mira, Cleber, Feijao, Pedro, Souza, Maria Angelica, Moura, Arnaldo, Meidanis, Joao, Lima, Gabriel, Bossolan, Renato P., Freitas, Italo T.

Рік:

2013

Мова:

english

Файл:

PDF, 757 KB

english, 2013

[IEEE 2012 16th International Conference on Information Visualisation (IV) - Montpellier, France (2012.07.11-2012.07.13)] 2012 16th International Conference on Information Visualisation - A Video Game Level Analysis Model Proposal

Almeida, Samuel, Veloso, Ana, Mealha, Oscar, Roque, Licinio, Moura, Arnaldo

Рік:

2012

Мова:

english

Файл:

PDF, 324 KB

english, 2012

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Generalized Partial Test Case Generation Method

Pedrosa, Lehilton Lelis Chaves, Moura, Arnaldo Vieira

Рік:

2010

Мова:

english

Файл:

PDF, 246 KB

english, 2010

Evaluation and Genotyping of Multidrug-Resistant Cases of Tuberculosis in Southern Brazil

Valim, Andréia Rosane De Moura, Possuelo, Lia Gonçalves, Cafrune, Patrícia Izquierdo, Borges, Michele, Ribeiro, Marta Osório, Rossetti, Maria Lúcia Rosa, Zaha, Arnaldo

Журнал:

Microbial Drug Resistance

Рік:

2006

Мова:

english

Файл:

PDF, 108 KB

english, 2006

[IEEE 2010 Winter Simulation Conference - (WSC 2010) - Baltimore, MD, USA (2010.12.5-2010.12.8)] Proceedings of the 2010 Winter Simulation Conference - Conceptual modeling in simulation projects by mean adapted IDEF: An application in a Brazilian tech company

Montevechi, Jose Arnaldo Barra, Leal, Fabiano, Pinho, Alexandre Ferreira de, Costa, Rafael Florencio da Silva, Oliveira, Mona Liza Moura de, Silva, Andre Luis Faustino da

Рік:

2010

Мова:

english

Файл:

PDF, 315 KB

english, 2010

[Lecture Notes in Computer Science] LATIN'98: Theoretical Informatics Volume 1380 || Shape reconstruction with Delaunay complex

Lucchesi, Cláudio L., Moura, Arnaldo V.

Рік:

1998

Мова:

english

Файл:

PDF, 981 KB

english, 1998

MESOIONIC 2-N-CYCLOALKYLAMINO-5-ALKYL-1,3-DITHIOLIUM-4-THIOLATES

De Oliveira, Magali B., Miller, Joseph, Pereira, Arnaldo B., Galembeck, Sérgio E., De Moura, Gustavo L. C., Simas, Alfredo M.

Журнал:

Phosphorus Sulfur and Silicon and the Related Elements

Рік:

1996

Мова:

english

Файл:

PDF, 509 KB

english, 1996

TIGHT QUANTUM BOUNDS FOR COMPUTATIONAL GEOMETRY PROBLEMS

VOLPATO, NILTON, MOURA, ARNALDO

Журнал:

International Journal of Quantum Information

Рік:

2009

Мова:

english

Файл:

PDF, 197 KB

english, 2009

MODEL PARTITIONS AND COMPACT TEST CASE SUITES

BONIFACIO, ADILSON LUIZ, MOURA, ARNALDO VIEIRA, SIMAO, ADENILSO

Журнал:

International Journal of Foundations of Computer Science

Рік:

2012

Мова:

english

Файл:

PDF, 322 KB

english, 2012

Generating invariants for non-linear loops by linear algebraic methods

Rebiha, Rachid, Moura, Arnaldo Vieira, Matringe, Nadir

Журнал:

Formal Aspects of Computing

Рік:

2015

Мова:

english

Файл:

PDF, 610 KB

english, 2015